|
|
Frege and Husserl on Objectivity
Jankovská, Lenka ; Peregrin, Jaroslav (advisor) ; Beran, Ondřej (referee)
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with their solution of the objectivity of arithmetic and the objectivity itself. At first they both started in the same direction and they har- shly rejected psychologism. They also introduced similar differentiation of sense and reference. According to Frege, the reference of a sentence is a truth value, however, according to Husserl, it is a state of affairs. The sense is the way of referring to an object, also called intentionality. The sense in a sentence is a thought according to Frege and it is a noema according to Husserl. They both put emphasis on objectivity of number but they gradually went in different direction. Frege identified number with extension of concept, however, this subsequently let his system to dispute. Husserl derived number by abstraction, which exposed him to Frege's harsh criticism. Key words Frege, Husserl, objectivity, logic
|
|
|
Frege IDE with JetBrains MPS
Satmári, István ; Parízek, Pavel (advisor) ; Kratochvíl, Miroslav (referee)
Frege is an open-source project which brings the popular functional programming language Haskell to the Java ecosystem. JetBrains MPS is an open-source language workbench which allows users to design a new language and build an integrated development environment with a projectional (structured) editor for the created language. In this work we analyzed Frege grammar and created an IDE based on MPS that assists developers with writing code in the Frege language. Our environment includes a set of intuitive editors for editing Frege syntax, provides a simple type checking and implements code generators for the Frege language. Aim of the Frege IDE is its usability. Additionally, the thesis compares projectional editors with the more common plain-text IDEs, such as Eclipse, and evaluates whether they offer any advantage for editing purely functional programming languages.
|
|
|
Onto-Logic Conception and Critic of Existence by William F. Vallicella
PRIEHRADNÁ, Markéta
Our concern is to deal with the notion of existence and its status in onto-logical approach among analytic philosophers of the last century. As a draft of this critique we are using works of american philosopher William F. Vallicella, especially his three works: A Critique of the Quantificational Account of Existence (1983), A Paradigm Theory of Existence: Onto-Theology Vindicated (2002) and Existence: Two Dogmas of Analysis (2014). We criticise and analyse the philosophical view which suggests that to exist is what instantiation of existence is. This view is established in the works of Gottlob Frege, Bertrand Russell and Willard V. O. Quine. We also cope with the Vallicella's critique of ontology, which validates the statements about non-existent objects, and with his critique of existence being a first order property.
|
|
|
Comparison of logical and psychological perspectives on the concept of number.
Kuncová, Alexandra ; Punčochář, Vít (advisor) ; Kůrka, Petr (referee)
This paper is divided into three main parts. In the first part, we propose a logical approach to the concept of number based on Frege's Foundations of Arithmetic. Besides the main attempt to define and classify number per se, we also discuss Husserl's struggle with psychologism, Frege's logicism, and the construction of the series of natural numbers. In the second part, we look at a psychological approach to the concept of number through theories and experiments of cogni- tive science. We focus on infants' understanding of numbers and amounts, their counting abilities and later conventional skills. In the third part, we summarise differences as well as similarities of these two approaches. Keywords: cognitive science, concept, Frege, Husserl, identity, logicism, num- ber, one-to-one correspondence, Piaget, psychologism. "As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality." (Albert Einstein, Geometry and Experience, 1921)
|
|
|
Frege and Husserl on Objectivity
Jankovská, Lenka ; Peregrin, Jaroslav (advisor) ; Beran, Ondřej (referee)
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with their solution of the objectivity of arithmetic and the objectivity itself. At first they both started in the same direction and they har- shly rejected psychologism. They also introduced similar differentiation of sense and reference. According to Frege, the reference of a sentence is a truth value, however, according to Husserl, it is a state of affairs. The sense is the way of referring to an object, also called intentionality. The sense in a sentence is a thought according to Frege and it is a noema according to Husserl. They both put emphasis on objectivity of number but they gradually went in different direction. Frege identified number with extension of concept, however, this subsequently let his system to dispute. Husserl derived number by abstraction, which exposed him to Frege's harsh criticism. Key words Frege, Husserl, objectivity, logic
|
guest ::
